English forcing function: translation to other languages